1. Automata, languages, and programming :
پدیدآورنده: edited by J.W. de Bakker and J. van Leeuwen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programming -- Congresses.,Formal languages -- Congresses.,Machine theory -- Congresses.
2. Computability and Decidability :
پدیدآورنده: by Jacques Loeckx.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.
3. Computer Mathematics
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
4. Computing with foresight and industry :
پدیدآورنده: Florin Manea, Barnaby Martin, Daniel Paulusma, Giuseppe Primiero, (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computable functions, Congresses.,Computer science-- Mathematics, Congresses.,Computable functions.,Computer science-- Mathematics.
رده :
QA9
.
59
.
C67
2019
5. Mathematical Foundations of Computer Science 1976 :
پدیدآورنده: edited by Antoni Mazurkiewicz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Computer Science.,Computers.
رده :
QA267
.
3
E358
1976
6. Mathematical foundations of computer science 200
پدیدآورنده: / Edward Ochmaanski, Jerzy Tyszkiewicz (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science--Mathematics--Congresses,Computer programming--Congresses,Algorithms--Congresses,Computable functions--Congresses,Machine theory--Congresses
7. The theory of computer science : a programming approach
پدیدآورنده: J. M. Brady,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Programming )Electronic computers(,Machine theory,Computable functions
رده :
QA
.
B697
76
8. The theory of computer science : a programming approach
پدیدآورنده: Brady, J. M.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming )Electronic computers(,، Machine theory,، Computable functions
رده :
QA
76
.
B697
9. The theory of computer science : a programming approach
پدیدآورنده: Brady, J. M.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Programming )Electronic computers(,، Machine theory,، Computable functions
رده :
QA
76
.
B697
10. The theory of computer science : a programming approach
پدیدآورنده: / J. M. Brady
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Programming (Electronic computers),Machine theory,Computable functions
رده :
QA76
.
B697
11. The theory of computer science : a programming approach
پدیدآورنده: Brady, J M
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Computer programming,، Machine theory,، Computable functions
رده :
QA
76
.
B697
12. The theory of computer science; a programming approach
پدیدآورنده: Brady, J M
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Programming )Electronic computers(,، Machine theory,، Computable functions
رده :
QA
76
.
B697
13. Theory of Computation
پدیدآورنده: / George Tourlakis
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computable functions,Functional programming languages,MATHEMATICS / Discrete Mathematics., bisacsh,توابع محاسبه پذیر,زبان های برنامه‌نویسی تابعی
رده :
QA9
,.
59
.
T46
,
T68
2012
14. theory of computer science
پدیدآورنده: / k.l.p Mishra
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer programming,Machine theory,Computable functions
رده :
QA76
.
M45
2007
